1. Mathematical logic and programming languages
Author: edited by C.A.R. Hoare and J.C. Shepherdson
Library: Library of College of Science University of Tehran (Tehran)
Subject: ، Programming languages )Electronic computers(,، Logic, Symbolic and mathematical
Classification :
QA
76
.
6
.
M3646
1985
